$\forall$$A$:Type, $I$:MaInterface($A$), $l$:IdLnk, ${\it tg}$:Id. gluable($I$;$l$;${\it tg}$) $\in$ $\mathbb{P}$